1. A practical guide to experimental geometrical optics
پدیدآورنده : Yuriy A. Garbovskiy, Anatoliy V. Glushchenko
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Geometrical optics,، Geometrical optics -- Experiments
رده :
QC
446
.
2
.
Y69
2017
2. Advanced information systems engineering :
پدیدآورنده : Paolo Giorgini, Barbara Weber (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses.,Systems engineering, Congresses.,Computer-aided software engineering.,Systems engineering.
رده :
QA76
.
758
.
C33
2019
3. Advanced information systems engineering workshops :
پدیدآورنده : Marko Bajec, Johann Eder (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Computer-aided software engineering.,Systems engineering -- Congresses.
رده :
QA76
.
76
.
A65
M375
2012
4. Advances in Cryptology - ASIACRYPT '91 :
پدیدآورنده : edited by Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer communication networks.,Computer science.,Operating systems (Computers)
رده :
QA76
.
9
.
A25
E358
1993
5. Advances in cryptology, EUROCRYPT '95 :
پدیدآورنده : Louis C. Guillou, Jean-Jacques Quisquater, eds
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computers-- Access control, Congresses,Cryptography, Congresses,authentification,cryptographie,monnaie électronique,protocole,signature numérique,théorie nombre
رده :
QA76
.
9
.
A25
E964
1995
6. Advances in human-computer interaction human comfort and security ; [most of the papers presented in this book have been presented at the ESPRIT Workshops on Human Comfort and Security and Advanced Multisensor Applications, two satellite events to the 1994 IT conference held in Brussels in June 1994]
پدیدآورنده : S. Pfleger ... (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Human-computer interaction,Mensch-Maschine-Kommunikation.
7. ]Algor Finite element analysis system[ Software companion with verification examples
پدیدآورنده : ALGOR
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algor,Data processing ، Finite element method,، Computer-aided engineering
رده :
TA
347
.
F5
A386
8. Analysis, Architectures and Modelling of Embedded Systems :
پدیدآورنده : edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network architectures.,Computer science.,Computer-aided design.
9. Analysis of machine elements using SOLIDWORKS® simulation 2017 /
پدیدآورنده : John R. Steffen, Shahin S. Nudehi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : SolidWorks.,SolidWorks.,Computer-aided design.,Machine design.,Computer-aided design.,Machine design.
10. CAD Based Programming for Sensory Robots :
پدیدآورنده : edited by Bahram Ravani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer vision.,Computer-aided design.
رده :
TJ211
.
45
E358
1988
11. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
12. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
13. Computer Aided Verification
پدیدآورنده : / Tayssir Touili, Byron Cook, Paul Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
14. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
15. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
16. Computer Aided Verification :
پدیدآورنده : edited by Gregor Bochmann, David Karl Probst.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
17. Computer Aided Verification
پدیدآورنده : / Ganesh Gopalakrishnan, Shaz Qadeer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
18. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
19. Computer Aided Verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programs ; Verification ;
20. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
